Texas Stock Exchange's $250M launch challenges NYSE, Nasdaq dominance