Texas oil and gas industry pays highest total of taxes and state royalties in history