Gate.io to launch in Hong Kong as government invests $6.4m in web3