Constructing a midpoint of a line segment