Continuous double auctions with execution uncertainty