Geologists and the history of geology: an international bibliography from the origins to 1978