A case study in the design of an optimal production sharing rule for a petroleum exploration venture