a cave city built into a rocky mountain