downHeap implemented