Why do proteins use selenocysteine instead of cysteine?