Saudi Arabia restarts East-West oil pipeline, sources say