Gravar-mail: Comparison of protein fragments identified by limited proteolysis and by computational cutting of proteins