Relays, Safety relays for EDM machines