Learning Optimal Decision Sets and Lists with SAT