煤矿井下构筑永久性密闭墙体厚度不小于( )。