Context-Aware Gamification: Personalizing Gamified Stress Interventions Using Gamification User Types and Coping Mechanisms | Synapse