An experience report on using gamification in technical higher education · Study