Texas teachers opt out of TRS plan in droves