型彫り放電加工機の原理