formalizar las operaciones de minería artesanal