Decision analysis for the exploration of gas reserves: merging todim and thor