Electrical discharge machining of semiconductor materials: A review