Global stability of day-to-day dynamics for schedule-based Markovian transit assignment with boarding queues · Study