How to find length of a line segment with given endpoints