Huobi changes its name to HTX.