Historia del tiempo para Manila, National Capital Region, Philippines | Polytreasury: Automatización de mercados de predicción