Research on Congestion Pricing in a Multiple-Operator Autonomous-Mobility-on-Demand System