Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking