A simple binary heap priority queue