Randomly select lines from a text file