How deep would we have to dig a hole on Mars so that the air pressure at the bottom would be 1 atm? And, how much time (centuries?) would it take to excavate a large enough area at that depth to sustain a few cities, given that we could create an army of Von Neumann bots to do the job for us.

Would this be an endeavor on a smaller scale than full planetary terraforming?