Parallelized Hitting Set Computation for Model-Based Diagnosis