Who's in charge of EU military intervention?