Behavior Change Techniques in Digital Interventions for Health Behavior Change: A Taxonomy of Popular Mobile Applications.