Recuperação gradual da indústria leva consumo de energia a crescer 6% em outubro, diz ONS