Title: How Should Shale Gas Extraction Be Taxed?