Types and type localities of ungulates named from southern Africa