A queuing theory model for cloud computing