A rigorous analysis of the cavity equations for the minimum spanning tree