Model Selection and Parameter Inference in Phylogenetics Using Nested Sampling