An arc-based approach for stochastic dynamic traffic assignment | Synapse