A Parallelized Variant of Junker's QuickXPlain Algorithm