Gamification for smarter learning: tales from the trenches