Research of model and algorithms for redundant time optimized layout in train timetabling process on high-speed railway