Machining of 1.2363 and 1.2343ESR steels using EDM