Coupling an agent-based model and an ensemble Kalman filter for real-time crowd modelling | Synapse