Más de US$100 millones en mejoras tecnológicas para el sector minero