Smart Card Data Mining and Inference for Transit System Optimization and Performance Improvement