Efficiently Explaining CSPs with Unsatisfiable Subset Optimization