Asteroid Mining and Deflection Using Electromagnetic Launchers