Более 8 тысяч боевиков покинули сирийский Ярмук