Efficiency of Large Double Auctions