Service optimization for bus corridors with short-turn strategies and variable vehicle size