Federal budget shrinks public service by 5,000 over 4 years