Highly skilled migrants and technological diversification in the US and Europe