Real-time Gap Control for Micro-EDM