Energy-Efficient Train Scheduling and Rolling Stock Circulation Planning in a Metro Line: A Linear Programming Approach