Supporting Mobile Cloud Computing in Smart Cities via Randomized Algorithms