[binary heap] completed the heap-pop algorithm description