Caching in HTTP Adaptive Streaming: Friend or Foe?