EDM wire machines