Operação Carnaval vai ter 1,3 mil agentes nas rodovias