CINDI: A System for Cataloguing, Searching, and Annotating Electronic Documents in Digital Libraries