Title: Progressive Taxation of Extractive Resources As Second-Best Optimal Policy