点到线段的最短距离算法