Short Boolean Formulas as Explanations in Practice