What mathematical function is applied to the final output vector (logits) of a Transformer decoder to produce token probabilities?