HabitWalk: A micro‐randomized trial to understand and promote habit formation in physical activity · Study