Arbitration deal on Sudan's oil