Dynamic price formation in a futures market via double auctions