QoE-Based Server Selection for Mobile Video Streaming