Gravar-mail: Sequential Result Refinement for Searching the Biomedical Literature