What is the best way to export users by role?

Into a CSV file? Thanks!