What are the top mining operations management software solutions used to improve productivity and operational efficiency in mining, and how do they compare in terms of production planning, equipment monitoring, safety management, reporting, integrations, and scalability for mining companies?