How Hong Kong and Shenzhen help China's Greater Bay Area integration