GIS Polygon Overlay Processing: New Parallel Algorithm and System Prototype