Business Cycle Dynamics of a New Keynesian Overlapping Generations Model with Progressive Income Taxation