Reading numbers from a text file