If terraforming is not possible and the Mars colony requires sealed and pressurized buildings, why does it need to be on Mars? Just build it on earth. And if earth runs out of mineable resources, mine asteroids instead, and build your colonies inside those asteroids.