Finding Minimum Spanning Trees in Weighted Undirected Graphs