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