Property implementation in Python