Pricing Insurance Derivatives: The Case of CAT Futures