Crowdsourcing geographic information with a gamification approach