How Hard Will Education Cuts Hit Texas?