Mining Large-Scale GPS Streams for Connectivity Refinement of Road Maps · Study