Immigration and innovation