Bad Rabbit ransomware: What to do