Tencent's 'smart city' seen as model for post-coronavirus China