US launches strikes against ISIS targets in Syria