Mineral revenues to the public sector in Colorado