Advances in Heterogeneous Ice Nucleation Research: Theoretical Modeling and Measurements