Collaborative optimization of energy-efficient train schedule and train circulation plan for urban rail