Loading: Learning certifiably optimal rule lists for categorical data