Early Pleistocene origin and extensive intra-species diversity of the extinct cave lion