The collapse of the IT sector in Russia: how many specialists already left the country?