ADNOC to change oil pricing benchmark to Platts Dubai from Murban futures – Reuters