Using System.IO File properties to write to and read from a text file