Title: Taxation, Mining, and the Severance Tax