mathematical definition of a circle