PESCO: Military cooperation in the EU