Design and analysis of a synthetic prediction market using dynamic convex sets