How Elon Musk and SpaceX Plan to Colonize Mars