Use case diagram for library management system