liang barsky算法