Digital Interventions and Habit Formation in Educational Technology