Detecting playfulness in educational gamification through behavior patterns | Synapse