The book City Works from FFG has interesting "city building" mechanics and includes a system for generating underground cities as well as vertical cities. For huge underground cities I would use both combined - underground and vertical.