The associations of newly launched high-speed rail stations with industrial gentrification. (February 2020)