Decision support platform for urban rail systems: real-time crowding prediction and information generation.