Texas sales tax revenue totals $4.1 billion in December 2023