HKEX names former Zhengzhou exchange boss to head new commodity platform