If Elon Musk builds a Mars colony, he’ll be the richest man on two planets.