Pricing Options via Double Auctions