Optimization-Based Train Timetables Generation with Demand Forecasting for Thailand High Speed Rail System