Study of precision micro-holes in borosilicate glass using micro EDM combined with micro ultrasonic vibration machining