Computing Optimal Decision Sets with SAT