Verisk 取消收购 AccuLynx 交易,赎回 15 亿美元债务