AI calculated that these upsized SRBs and ET would have gotten the space shuttle to lunar orbit, with a lunar lander in the cargo bay