SEC approves Texas Stock Exchange, first new US integrated exchange in decades