Theoretical models of the electrical discharge machining process. I. A simple cathode erosion model | Synapse