Alta de população ocupada puxou recordes no mercado de trabalho no trimestre até junho, diz IBGE