How is Technology Evolving in the Mining Sector?