Market Extra: Oil industry needs $10 trillion to meet coming demand, says OPEC’s Barkindo