Implemented downheap