Mechanistic Interpretability in Action: Understanding Induction Heads and QK Circuits in Transformer