Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions