On the Expressiveness and Generalization of Hypergraph Neural Networks