Progressive Taxation, Income Inequality, and Happiness