Glitch halts all trading on Tokyo Stock Exchange