与圆c1:x² (y-2)²=4关于直线x=3对称的圆c2的标准方程