C#: IEnumerable, yield return, and lazy evaluation