Verisk Analytics, Inc. (VRSK) Q2 2023 Earnings Call Transcript