Electro discharge machining (EDM)