Pull-Patching: a Combination of Multicast and Adaptive Segmented HTTP Streaming