Russian oil company ceases Venezuela operations