Congestion-aware Ride-pooling in Mixed Traffic for Autonomous Mobility-on-Demand Systems.