Historia del tiempo para Hong Kong, HK | Polytreasury: Automatización de mercados de predicción