Python class property decorator