Explain the mathematical formulation of a Transformer's self-attention mechanism and write out the computation steps.
