Generalized Functional ANOVA in Closed-Form: A Unified View of Additive Explanations