Multiple works of popular fantasy media frequently depict Dwarves as living in great cities and halls built into mountains. Were there ever any real-life civilizations that did this? If not, where does this trope come from?