Operation of high-speed trains