Optimal Income Taxation with Multidimensional Taxpayer Types∗ Preliminary and Incomplete