Integrated optimization of train formation plan and rolling stock scheduling under Time-dependent demand