Optimal Consumption under a Habit-Formation Constraint.