On the design of a European unemployment insurance system