formalización de mineros