Length of line segment JK