Text this: Oil price benchmarks in international trade: the Dubai benchmark and its role in the international oil pricing system