The Vacuum Interrupter: Theory, Design, and Application