Operação CriptoGato desativa três mineradoras clandestinas e evita prejuízo superior a R$ 5 milhões no DF