Stochastic Analysis of DASH-Based Video Service in High-Speed Railway Networks | Synapse