Efficient Estimation of the ANOVA Mean Dimension, with an Application to Neural Net Classification