Does minimum spanning tree rely on the triangle inequality? I thought it worked on arbitrary graphs