Fauna antiqua Sivalensis: being the fossil zoology of the Sewalik Hills, in the north of India