Oil prices and the Syrian civil war