Historia del tiempo para Shanghai, Shanghai Municipality, China | Polytreasury: Automatización de mercados de predicción