Combinatorial Auction-Based Pricing for Multi-Tenant Autonomous Vehicle Public Transportation System | Synapse