4.2.1 废旧煤矿矿洞概述