Low-Latency Trading and Price Discovery without Trading: Evidence from the Tokyo Stock Exchange in the Pre-Opening Period and the Opening Batch Auction