ما هي المواقع التي استهدفها التحالف الدولي في سوريا للقضاء على قادة كبار في تنظيم داعش؟