Key themes in John Calvin’s view of the atonement