An optimization model for en-route express service scheduling in modular autonomous transit systems | Synapse