TXSE: An electronic national securities exchange