Setor público gastou R$ 23,3 bilhões com juros em julho