煤矿巷道一般宽度高度多少米