过点A(1,-1)和B(1,3),圆心在x轴上,求此圆的方程.