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