A Mechanical Translation of the Book of Exodus