CNC EDMワイヤー切断処理には、金型製造業界で広く使用されている高速ワイヤー処理と低速ワイヤー処理が含まれます。何ですか