In the $xy$-plane, a circle has its center at $(4,7)$. If point $A(4,12)$ is on the circle and is an endpoint of a diameter, what are the coordinates of point $B$, the other endpoint of this diameter?