Automated taxis' dial-a-ride problem with ride-sharing considering congestion-based dynamic travel times. (March 2020)