Optimal Decision Lists using SAT