Fast and Accurate Preordering for SMT using Neural Networks