AB为圆O的直径,AD,BC分别是切线,DC与圆O相切于点E,若DA=x,BC=y,AB=12,求y与x的函数关系式