A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems