Numerical process of straightening the edges of graphically-based cadastral maps