Automated taxis’ dial-a-ride problem with ride-sharing considering congestion-based dynamic travel times