The War Against ISIS, by the Numbers