Redesigning Petroleum Taxation