Carlos Miranda, operador de Sérgio Cabral, tem acordo de delação homologado