ワイヤー・放電加工機,三菱