Numerical and experimental study of the effects of ultrasonic vibrations of tool on machining characteristics of EDM process