Optimizing the Procurement of IaaS Reservation Contracts via Workload Predicting and Integer Programming. (6th November 2020)