Texas education agency is ready to take over Houston ISD, documents show