mining and sand and gravel industries taxes