Usage of Push Interface in Priority Queue C++: Example