perpendicular bisector of segment