The optimal level of unemployment insurance benefits in a model of employment mismatch