拥挤公共交通系统的需求管理：基于智能卡数据的分析框架和案例