Congestion-aware system optimal route choice for shared autonomous vehicles · Study