Public service shrinks to smallest size in 12 years