hire tolerances with EDM machining