Phylogenetic Inference Using A Discrete-Integer Linear Programming Model