Mozi: Habit Tracking with Clean Analytics