已知点A(1,3)B(3,-5),求线段AB的垂直平分线的方程.