The temperature of a plasma used in electrical discharge machining