The path of a rotating lawnmower blade has a diameter of 24 inches and a circumference of about 75 inches. On a smaller model of the lawnmower, the blade has a circumference of about 12.5 inches. What is the diameter of the model?