煤矿常用巷道断面形状有