Jordan DL bigdata winter MT QA algo exp-poly-linear Turing