Zaslat SMS: Modeling the impact of taxes on petroleum exploration and development