What would happen if Mars were habitable?