how to extract lines from text file