设计行车速度为200～250km/h时，单线隧道轨顶以上净空横断面积不应小于()。