巷道掘进人行道最小的宽度应是（）。