工業機械, 工具機, 放電加工機器