How many different amino acids are there?