High-dimensional Additive Gaussian Processes under Monotonicity Constraints