Highly Efficient Designs for Logistic Models with Categorical Variables