Skilled migration and innovation in European industries