Caves and mining