Top 5 M&A deals by value in the US mining industry since 2023