Decision analysis for petroleum exploration