Tangents to a circle from an external point