Contrastive Explanations of Plans Through Model Restrictions