Russia’s Syria force grows to 4,000: U.S. officials