How would the proposed Texas budgets fund higher education? Here’s what we know.