A Framework for Interactive Geospatial Map Cleaning using GPS Trajectories