Coordinated vehicle platooning on tree networks: Efficient time discretization and strengthened formulation | Synapse