By the numbers: San Antonio's proposed 2025 budget