Unveiling Induction Heads: Provable Training Dynamics and Feature Learning in Transformers