Determination of the range of a variety of social choice correspondences: Plurality voting, the Borda rule, the Pareto rule, the Copeland correspondence, approval voting, and the top cycle correspondence