Backdoors to Satisfaction