采矿时挖掘的坑道和洞穴。