Japan chip tool maker Kokusai Electric raises $724 million in IPO