The Real Benefit of a Colony on Mars