Public service employment and the supply of labor to the private sector