How humans can get to Mars, and why we'd want to go