Study on the influence of travelers' satisfaction with intercity smart travel and their choice behavior: Based on their heterogeneity