Redundancies in the public service by age