坑道和矿井。