Kokusai Electric raises $724.4 million after setting IPO price at the top end of range