求圆心在点(0,2)且与直线x-2y+1=0相切的圆的方程