[Python-ideas] dict method to retrieve a key from a value