Formalización minera podría aportar 1,5% adicional al PBI y generar hasta 400.000 empleos