Conspicuous Leisure: Optimal Income Taxation When Both Relative Consumption and Relative Leisure Matter