Semi-Automatic Tool for Map-Matching Bus Routes on High-Resolution Navigation Networks · Study