Brasil registra 12,9 milhões de pessoas desempregadas no trimestre até julho