Pull-patching: a combination of multicast and adaptive segmented HTTP streaming