Inequality Aversion, Externalities, and Pareto-Efficient Income Taxation