how to get number of lines in .txt file python