A Model-Assisted Cross-Layer Design of an Energy-Efficient Mobile Video Cloud