Text this: Evolutionary Game Model of Civil Aviation and High-Speed Rail Interaction Strategies Based on the Passenger Ticket and Carbon Trading Prices