By the numbers: What’s in San Antonio's proposed 2024 budget?