Gravar-mail: Mining locus tags in PubMed Central to improve microbial gene annotation