how do we know when the book of isaiah was written