Specifying the index column when reading a CSV file