Simplifying amino acid alphabets by means of a branch and bound algorithm and substitution matrices