Nasdaq, Teksas borsasını tam operasyonel hale getirdi