Modeling the competition between multiple Automated Mobility on-Demand operators