Precision planimetry tools for vector data with geographiclib and geotools