WannaCry, Petya, NotPetya: how ransomware hit the big time in 2017