Russian options in Syria