Is Teacher retirement system of Texas a qualified plan