Research on Automatic Detection and Correction on Spatial Conflict between Water Feature and Terrain