When Elon Musk announced that he wanted to plant a colony of 80,000 people on Mars in his lifetime, a few thoughts went through my head in (roughly) this order: That’s an awfully long supply …