Premise Set Caching for Enumerating Minimal Correction Subsets