R1: Compendium of methods for gamification in digital learning​