Theory-based Habit Modeling for Enhancing Behavior Prediction