Clustering Students Based on Gamification User Types and Learning Styles