Was Hong Kong’s high-speed rail line to mainland China worth all the sacrifices?