Migration, Diversity, and Economic Growth