Binary Heaps (a.k.a Priority Queue): A Demonstration