This is how Austin ISD, other Texas school districts are funded