A rolling stock circulation model for combining and splitting of passenger trains