Professores da rede municipal encerram greve