Historia del tiempo para Miami, Florida, United States | Polytreasury: Automatización de mercados de predicción