Higher non-tax revenue stemmed from increased revenues from mining leases, where premiums were tied to market prices rather than extraction volumes