Is teacher retirement system of texas considered a qualified plan