U.S. military carries out air strikes in Syria