https://www.engineeringchoice.com/what-is-electrical-discharge-machining/