An Overview of the History of Public Education in Texas