Simulation of Gamification Elements to Promote Carpooling in a Closed Community | IEEE Conference Publication | IEEE Xplore