A Python dictionary-like indexed priority queue