5 mining trends that are reshaping the industry in 2025 – and how to stay ahead