Varley, D., & Visvalingam, M. Area topology for road extraction and topographic data validation