Electrodynamic Tethers for Reboost of the International Space Station and Spacecraft Propulsion