Top 5 M&A deals related to artificial intelligence in the construction & real estate industry since 2023