A Double-Auction Mechanism for Mobile Data-Offloading Markets | Synapse