HKEX is key to China’s plan to internationalize its economy