OpenText、Verticaを1億5000万ドルで売却し、AIに注力