インフラ業界の AI 企業スパークコグニション、産業系知識管理会社のマーナ(Maana)を買収