How ISIS’ campaign in the Philippines unfolded