Optimal Income Tax and Redistribution