Desemprego recua para 9,3% em junho, mas número de informais é recorde, aponta IBGE