Boolean Decision Rules via Column Generation