Shenzhen booms as Hong Kong lags