Verisk beats first-quarter estimates on strong demand for its analytics