Worker turnover and unemployment insurance