greve dos trabalhadores não docentes