求圆x2+y2-4=0与圆x2+y2-4y-12=0的公共弦的长