Spacecraft named for 'Hidden Figures' mathematician launches from Virginia