Elon Musk Sees Humans on Mars in 5–7 Years — And He Has $112 Billion Riding on It