Random Utility Theory for Social Choice