Diversity, Immigration, and Redistribution