Application of parallel tabu search in solving Ride-sharing problem with HOV Lanes. (May 2019)