Gamification Analytics—Methods and Tools for Monitoring and Adapting Gamification Designs · Study