Provably Transformers Harness Multi-Concept Word Semantics for Efficient In-Context Learning