Mandado de injunção e o direito de greve do servidor público