[python] How do you read a file into a list in Python?