A Logic-Driven Framework for Consistency of Neural Models