Gamification of productivity