Petroleum Exploration: A Quantitative Introduction