Wire cut edm machine tools