John's use of the Old Testament in Revelation