An experience report on using gamification in technical higher education | Synapse