Verisk、15億ドルの加速型自社株買いを開始