Why agentic AI and real-time data could be groundbreaking for mining operations