Inequality, Informality, and Optimal Progressivity