An appraisal of computer output microfilm for library catalogues