Phylogeny of the great cats (Felidae: Pantherinae), and the influence of fossil taxa and missing characters