Historia del tiempo para Singapore, Singapore | Polytreasury: Automatización de mercados de predicción