NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning