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