python distance from point to line segment. The vector $\col