Social Choice for AI Alignment: Dealing with Diverse Human Feedback | Synapse