Dynamic Segment Size Selection in HTTP Based Adaptive Video Streaming