已知三角形ABC点A(0,4),B(3,1),C(3,7),求三角形外接圆方程?