Brasil ganhou 511 mil pessoas que trabalham menos horas do que poderiam no segundo trimestre, aponta IBGE