El total de la contribución del sector de minería llegaron a 6.700 millones de dólares.