Emprego industrial varia 0,1% em outubro