just in time electrical discharge machining