On Synergies Between Information Retrieval and Digital Libraries