Timetabling for a congested urban rail transit network based on mixed logic dynamic model. Issue 1 (31st December 2022)