A probability-based analysis of passenger car removal from operation for scheduled maintenance using digital twin modelling | Synapse