Constructing a perpendicular bisector of a segment