Civiverse: A Dataset for Analyzing User Engagement with Open-Source Text-to-Image Models