Text this: An introduction to electrical discharge machining (EDM)