As Syria war tightens, U.S. and Russia military hotlines humming