Optimal Redistributive Income Taxation and Efficiency Wages