High-Speed and High-Accuracy EDM of Micro Holes by Using a 5-DOF Controlled Maglev Local Actuator