Tax progressivity and income inequality: On the high-income Laffer curve