Electrical discharge machining (EDM)