On Habit Formation in a New Keynesian Business Cycle Model