US launches strike against ISIS in Nigeria