Proteins comparison through probabilistic optimal structure local alignment