mineros formalizados