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