Suppose a segment has one endpoint with coordinates (13, 12). Also, suppose the segment has a midpoint with the coordinates (7.5, 5). What are the coordinates of the other endpoint?