Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)