The U.S. military said it attacked ISIS militants at the request of Nigerian authorities. The number of casualties is unknown