Big data analytics in smart mobility: Modeling and analysis of the Aarhus smart city dataset | IEEE Conference Publication | IEEE Xplore