High-skilled immigration and innovation