Managing Peak Loads by Leasing Cloud Infrastructure Services from a Spot Market