A Map Matching Algorithm for Car Navigation Systems that Predict User Destination