How would you use predictive enrollment-based funding formulas in budget planning for Baltimore City Public School System?