How software engineers powered NASA’s space race