A catalogue of the library of the Museum of practical geology and geological survey