Taxa de desemprego cai para 12,3% no trimestre encerrado em julho