how to use getline in c from a file