接触线高度是指接触线至（）的垂直距离。