“The Appropriate Roles for Equity and Efficiency in a Progressive Income Tax”