Modeling and Solving the First Train Timetabling Problem with Minimal Missed Trains in Subway Networks