已知x^2+y^2=4,则x^2+2y的最小值是