How much did the global NotPetya ransomware attacks cost some of the hardest hit companies? Verisk Analytics’ Property Claim Services has some lofty claims.