Mathematical Foundations and Applications of Graph Entropy