Gravar-mail: Proteins comparison through probabilistic optimal structure local alignment