A study of ultrasonic-aided wire electrical discharge machining