Backdoors in Satisfiability Problems