An Auction Mechanism for Cloud Spot Markets