Indústria paulista demite mais de 12 mil trabalhadores em outubro