I heard that one of the biggest obstacles we would face in trying to terraform Mars is the tiny atmospheric pressure (0.6% of Earth's). Is it possible in theory, to change that?