Theoretical Foundation of the Balanced Minimum Evolution Method