JMIR Formative Res: Digital Nudges Among New Gym Members: Controlled Formative Evaluation of Gym Attendance, Exercise Self-Efficacy, Habit Strength, and Exercise Adherence #DigitalNudging #GymMembership #ExerciseEngagement #FitnessGoals #HealthyLifestyle