煤矿常用巷道断面形状有（）等。