Ejecutivo prevé formalizar a 25 mil mineros hacia fines de 2025