A mathematical network model and a solution algorithm for IaaS Cloud Computing