Interchange lemma for context-free languages