Bibliometric-Enhanced Information Retrieval: 13th International BIR Workshop (BIR 2023)