TEXAS RETIRED TEACHERS RESIDENCE CORP