Gravar-mail: Efficient exact pattern-matching in proteomic sequences