Optimization models for high-speed train unit routing problems