拱形断面的主要运输巷道净宽度，综采矿井不宜小于()。