Detecting and Clustering Students by their Gamification Behavior with Badges: A Case Study in Engineering Education · Study