Verisk 取消收購 AccuLynx 交易,贖回 15 億美元債務