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