Use pandas.DataFrame.to_csv