Privacy-Preserving Verifiable Double Auctions