Smart Mobility with Big Data: Approaches, Applications, and Challenges