length of a line segment