What is the circumference of a circle with radius 17 mm?