Taxa de desemprego cai para 11,7% em outubro, diz IBGE