What is the time complexity of python dict has_key() method? Is it O(1) as in the case of the key in dict?