La minería se pone a la vanguardia de la cuarta revolución industrial