how big is the tech industry in the europe