A multi-state train-following model for the analysis of virtual coupling railway operations | Synapse