Smart libraries in smart cities