Should we colonize Mars?