Formalización en la minería