Practical Verifiable & Privacy-Preserving Double Auctions