Progressive taxation and income inequality in dynamic competitive equilibrium