煤矿巷道断面公式