Job matching, temporary public employment, and equilibrium unemployment