Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores