Automated market-making in the large: the gates hillman prediction market