changed to a standard priority queue package from hackage - no effect on the running time