CrowdSensim 2.0: A stateful simulation platform for mobile crowdsensing in smart cities