Development and Theoretical Analysis of an Aircraft Supercooled Icing Model