Natural Language Inference with External Knowledge