Spatio-Temporal Analysis of Passenger Travel Patterns in Massive Smart Card Data | Synapse