Computing User Equilibria for Schedule-Based Transit Networks with Hard Vehicle Capacities | Synapse