What separator character should I use in a .csv file?