How Should Shale Gas Extraction Be Taxed?