Behavior change techniques in top-ranked mobile apps for physical activity.