Pauzner's addition to min_heap

* remove element
* change element priority