半径是3，圆心在y轴上，且与直线y=1相切的圆的方程是______。