Historia del tiempo para Jakarta, Jakarta Special Capital Region, Indonesia | Polytreasury: Automatización de mercados de predicción