Texas oil and natural gas producers pay nearly $5B in production taxes