Resource allocation for libraries in higher education