High-dimensional mixed-categorical Gaussian processes with application to multidisciplinary design optimization for a green aircraft