A ___ is an essential tool for constructing a perpendicular bisector of a given line segment.