5 years after NotPetya: Lessons learned