Erodiermaschinen, Drahterodiermaschinen