A conditional time-intervals formulation of the real-time Railway Traffic Management Problem. (April 2023)