Mobile cloud performance evaluation using stochastic models