[python] Python dictionary: are keys() and values() always the same order?