Measurement of the lengths of digitized curved lines