Divergence time estimation using fossils as terminal taxa and the origins of Lissamphibia.