Militairen naar Noord-Irak en Mali