Cessação da relação jurídica de emprego em funções públicas na sequência de aposentação de vários trabalhadores