Electric discharge wire cutting