[c#] C# how to convert File.ReadLines into string array?