On Explaining Random Forests with SAT