MUDA: A Truthful Multi-Unit Double-Auction Mechanism · Study