Theoretical and Procedural Aspects of Numerical Phyletics