The development cost of NASA's human-carrying spacecraft