Gravar-mail: Semi-automatic semantic annotation of PubMed Queries: a study on quality, efficiency, satisfaction