Virtual Machine Trading in a Federation of Clouds: Individual Proﬁt and Social Welfare Maximization - Li,Hongxing