圆C过点(0,-1),圆心在y轴的正半轴上,且与圆(x-4)的平方+(y-4)的平方=9外切,求圆C的方程