A Benchmark and Taxonomy of Categorical Encoders