how many times the diameter of a circle to its circumference