CrowdSenSim 2.0: a Stateful Simulation Platform for Mobile Crowdsensing in Smart Cities