A New Measure of Modularity in Hypergraphs: Theoretical Insights and Implications for Effective Clustering