Is Moses mentioned in other books of the Bible?