Brasil criou mais de 142 mil empregos formais em julho de 2023