HTTP-based Adaptive Streaming for Mobile Clients using Markov Decision Process