已知两点A(0,2)、B(—5,3),求线段AB的垂直平分线的方程