A brief history of gamification