If humans someday colonize Mars, what must they do?