Japan chip tool firm Kokusai Electric launches $750 mln IPO - Reuters