fixed MinSpanningTree bug, added Size() to MinHeap