A developer wants to ensure that the 'radius' attribute of a Circle class is always non-negative. Which implementation using @property is correct?