Map-matching on big data: A distributed and efficient algorithm with a hidden Markov model