Minería hacia el 2050: Oportunidad para la formalidad y la competitividad