A new edition of the Babylonian Talmud has human translators collaborating with advanced algorithms