Write a filtered dataframe to CSV

Filter `pets` down to dogs only, then write it out with `.write_csv("dogs_only.csv")`. (This sandbox has no real filesystem — `.write_csv(...)` just confirms the table that would have been written.)