Compendium of methods for gamification in digital learning