A model of the world oil market with an OPEC cartel