Colonizing Mars is a heroic necessity. It challenges us to think big, solve hard problems, and the tech we build on the way makes life better on Earth.