EDM machine, wire cutting