The choice of the rolling stock for public transportation: problem statement and solution approaches | Synapse