Industrial Organization Effects of High-Speed Rail Service Introduction in Korea