Spacecraft Named For 'Hidden Figures' Mathematician Launches