Software for Generating Geometrically and Topologically Accurate Urban Terrain Models Using Implicit Methods