Text this: High-Speed Rail Opening, Economic Agglomeration, and Urban Innovation