Distilling the web into GIS datasets