Insights into the deselenization of selenocysteine into alanine and serine