Desemprego cai a 7,1% no trimestre terminado em maio, diz IBGE.