Enhancing micro-EDM using ultrasonic vibration and approaches for machining of nonconducting ceramics