How Starship Will Get Us to Mars