Progress Software以4億美元現金收購Domo的AI平台