The Vacuum Interrupter (Theory, Design, and Application)