Design of Power Supply for Electromagnetic Induction-Coil Launchers Using Matrix Converter