The math behind Attention: Keys, Queries, and Values matrices