煤巷是指煤占断面积大于（）以上。