Added explanations and proof for 'Interview Questions: Minimum Spanning Trees'