井巷是为进行（）工作在岩层或煤层内所开凿的一切空硐。