What Elon Musk’s Critics Get Wrong About Colonizing Mars