我国规定高速铁路客运专线路基宽度应不小于（）。