A framework for interactive geospatial map cleaning using GPS trajectories