Safety Theory and Control Technology of High-Speed Train Operation