Individual Mobility Prediction in Mass Transit Systems Using Smart Card Data: An Interpretable Activity-Based Hidden Markov Approach | IEEE Journals & Magazine | IEEE Xplore