Decidiu o STF que revisão anual de vencimentos não é obrigatória, mas Executivo deve justificar