Gamification mechanics for behavioral change: a systematic review and proposed taxonomy.