Historique météo pour Hong Kong, HK | Polytreasury : automatisation des marchés de prédiction