Improving Natural Language Inference in Arabic using Transformer Models and Linguistically Informed Pre-Training