Public employment and the business cycle