If we terraform and colonise Mars, how much time would it buy us to live there once the Earth becomes uninhabitable due to the dying sun?