Progress Software buys Domo's AI platform for $400 million in cash