CNC high speed wire-cut EDMs