Probabilistic risk analysis of flying ballast hazard on high-speed rail lines