Use of the Hebrew text of the Old Testament (as opposed to the Septuagint or Vulgate) for Christian exegesis