水平巷道机车运输时人行道的宽度不小于（）。