Verisk quarterly profit beats estimates on steady data analytics demand