A Framework for Allocating Server Time to Spot and On-Demand Services in Cloud Computing