Technical glitch halts trading on NYSE