number of isis fighters in iraq and syria