Professores da rede estadual encerram greve depois de 16 dias