Redemptive History and Biblical Interpretation: The Shorter Writings of Geerhardus Vos