What are the physical limitations and other problems associated with drilling into and building a city under/inside a mountain? What (if any) would be some practical designs?