Matt Porter y Margaret Hamilton: El software que envió a los humanos a la Luna