Principled and Scalable Methods for Analysis of Higher-Order Networks