Pandemic hiring boom: Federal government added nearly 20,000 workers in a single year