AI in Mining Market by Offering (Software, Services), Mining Type (Surface, Underground), Deployment Mode (On-Premises, Cloud, Hybrid), Technology (Generative AI, Machine Learning, NLP), Application, Vertical, and Region - Global Forecast to 2032