Maximizing the discounted tax revenue in a mature oil province