Kaspersky Labs: Russian antivirus firm leaving the US after ban