Under a 2023 agreement, Oracle Corp. sold Microsoft Corp. access to servers to power an AI-assisted version of the Bing search engine