Russian authorities take down REvil ransomware gang