Theoretical aspects of Protein Sequence Alignments