Crew optimization in urban railway systems: case study of Rio de Janeiro VLT | Synapse