DAJEE: A dataset of joint educational entities for information retrieval in technology enhanced learning