Mapping Social Choice Theory to RLHF