World oil supply