Efficient computation of contrastive explanations