Pioneering defence cooperation at EU level: the European Defence Agency