Unemployment benefits and redundancies: Incidence and timing effects