radius of a circle definition