Intervenció militar contra l'Estat Islàmic