Key themes in Calvin’s view of the atonement