Development and application of a probabilistic risk assessment model for evaluating advanced train control technologies