Texas spending on public education explained